pseudo-valuation ring

伪赋值环